141. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
Author: Martin Hofmann )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
2701
142. Typed lambda claculi and applications : International Conference on Typed Lam]b[ da Calculi and Applications, TLCA'93, March 16-18, 1993, Utrecht, the Netherlands: proceedings
Author: M. Bezem, J.F. Groote )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
664
143. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
Author: Philippe de Groote, J. Roger Hindley )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
1210
144. Variational analysis and aerospace engineerin
Author: / edited by Giuseppe Buttazzo, Aldo Frediani
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Calculus of variations--Congresses,Aerospace engineering--Congresses,Computational fluid dynamics--Congresses,Mathematical optimization--Congresses,Electronic books.
Classification :
TA
,
347
,.
C3
,
V375
,
2009eb
145. Variational analysis and aerospace engineering :
Author: Giuseppe Buttazzo, Aldo Frediani, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Aerospace engineering-- Mathematics, Congresses.,Calculus of variations, Congresses.,Mathematical optimization, Congresses.
Classification :
QA315
.
V37
2012eb
146. Variational and free boundary problems
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Boundary value problems-- Congresses,، Calculus of variations-- Congresses
Classification :
QA
379
.
V357
1993
147. Variational and free boundary problems
Author: Avner Friedman, Joel Spruck editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Boundary value problems,Congresses ، Calculus of variations
Classification :
QA
379
.
V3
148. Variational methods for equilibrium problems of fluids : Trento, 20-25 Juin 1983
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Fluid dynamics,Congresses ، Calculus of variations,Congresses ، Boundary value problems
Classification :
QA
3
.
A78
Vol
.
118
149. Variational methods for evolving objects
Author: edited by Luigi Ambrosio...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Calculus of variations,Congresses ، Differential equations, Nonlinear,Congresses ، Differential equations, Partial
Classification :
QA
315
.
V374
150. Variational methods in engineering : proceedings on an international conference held at the University of Southampton, 25th September, 1972
Author: / Edited by [C. A. Brebbia, H. Tottenham for the] Department of Civil Engineering, University of Southampton
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Calculus of variations - Congresses,Engineering - Congresses
Classification :
TA347
.
C3V37
151. Variational methods in the mechanics of solids :
Author: edited by S. Nemat-Nasser ; sponsored by International Union of Theoretical and Applied Mechanics, Solid Mechanics Division of the National Science Foundation, U.S. Army Research Office
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Calculus of variations-- Congresses,Mechanics, Applied-- Mathematics-- Congresses
Classification :
TA349
.
I87
1978
152. Variational methods in the mechanics of solids; Proceedings of the IUTAM Symposium on Variatitonal Methods in the Mechanics of Solids held at Northwestern University, Evanston, IIlinois,U.S.A.11-13 September 1978
Author: edited by S.Nemat-Nasser;Sponsored by international Union of the theoretical and Applied mechanics solid Mechanics Division of the National Science Foundation U.S.Army Resarch office
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics - Congresses ، Mechanics, Applied,Congresses ، Calculus of variations
Classification :
TA
349
.
I87
1978
153. Views and Beliefs in Mathematics Education :
Author: editors, Benjamin Rott, Günter Törner, Joyce Peters-Dasdemir, Anne Möller and Safrudiannur.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Study and teaching, Congresses.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics-- Study and teaching.
Classification :
QA11
.
A1
154. XII Symposium of Probability and Stochastic Processes :
Author: Daniel Hernández-Hernández, Juan Carlos Pardo, Victor Rivero, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Probabilities, Congresses.,Stochastic processes, Congresses.,Calculus of variations.,Cybernetics & systems theory.,Differential calculus & equations.,Game theory.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Probabilities.,Probability & statistics.,Stochastic processes.
Classification :
QA273
.
A1
